Representations of presheaves of closure space
نویسندگان
چکیده
منابع مشابه
Space-E cient Closure Representations
Many modern compilers implement function calls (or returns) in two steps: rst, a closure environment is properly installed to provide access for free variables in the target program fragment; second, the control is transferred to the target by a \jump with arguments (or results)." Closure conversion, which decides where and how to represent closures at runtime, is a crucial step in compilation ...
متن کاملcompactifications and representations of transformation semigroups
this thesis deals essentially (but not from all aspects) with the extension of the notion of semigroup compactification and the construction of a general theory of semitopological nonaffine (affine) transformation semigroup compactifications. it determines those compactification which are universal with respect to some algebric or topological properties. as an application of the theory, it is i...
15 صفحه اولRepresentations of structural closure operators
We continue the work of Blok and Jónsson by developing the theory of structural closure operators and introducing the notion of a representation between them. Similarities and equivalences of Blok-Jónsson turn out to be bijective representations and bijective structural representations, respectively. We obtain a characterization for representations induced by a transformer. In order to obtain a...
متن کاملcient Closure Representations
Many modern compilers implement function calls (or returns) in two steps: rst, a closure environment is properly installed to provide access for free variables in the target program fragment; second, the control is transferred to the target by a \jump with arguments (or results)." Closure conversion, which decides where and how to represent closures at runtime, is a crucial step in compilation ...
متن کاملPresheaves of symmetric spectra
The main theorem of [4] say that there is a proper closed simplicial model category structure on the category Spt of symmetric spectra, and that the associated homotopy category Ho(Spt) is equivalent to the stable category. This paper shows how to generalize this result to the category PreSpt(C) of presheaves of symmetric spectra on an arbitrary small Grothendieck site C. The reader will observ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1972
ISSN: 0011-4642,1572-9141
DOI: 10.21136/cmj.1972.101075